On the Universal C∗-algebra Generated by Partial Isometry
نویسنده
چکیده
A universal C∗-algebra is constructed which is generated by a partial isometry. Using grading on this algebra we construct an analog of Cuntz algebras which gives a homotopical interpretation of KK-groups. It is proved that this algebra is homotopy equivalent up to stabilization by 2×2 matrices to M2(C). Therefore those algebras are KK-isomorphic. We recall the definition of partial isometry. Definition 1. Let H1 and H2 be Hilbert spaces and v : H1 −→ H2 be a bounded linear map. v is called a partial isometry if v∗v is a projection. We only want to emphasize the following important facts. The projection p = v∗v is called the support projection for v. Standard equations involving partial isometries are the following: v = vv∗v = vp = qv, v∗ = v∗vv∗ = pv∗ = v∗q. It is known that the above equations can be taken to define a partial isometry. First of all, our aim is to construct an involutive algebra generated by one symbol together with the above relations and prove the existence of a maximal C∗-norm on it. For the general construction and examples see [1]. Let U(v) be the universal involutive complex algebra generated by the symbols v, v∗. Let J(v) be the two-sided ∗-ideal generated by elements of the following form: (a) {v∗} − {v}∗, (b) {v} − {vv∗v}, where {v} and {v∗} denote the elements of U(v) which correspond to v and v∗ respectively. Then U(v) will denote the factor algebra U(v)/J(v), which is a complex ∗-algebra and has the universal property that if B is a 1991 Mathematics Subject Classification. 19K, 46L.
منابع مشابه
Noncommutative Spherical Tight Frames in finitely generated Hilbert C*-modules
Let A be a fixed C*-algebra. In an arbitrary finitely generated projective A-module V ⊆ An, a spherical tight A-frame is a set of of k, k > n, elements f1, . . . , fk such that the associated matrix F = [f1, . . . , fk] up-to a constant multiple is a partial isometry of the Hilbert structure on the projective finitely generated A-module V . The space FA k,n of all such A-frames form a C*-algebr...
متن کاملA Note on Spectrum Preserving Additive Maps on C*-Algebras
Mathieu and Ruddy proved that if be a unital spectral isometry from a unital C*-algebra Aonto a unital type I C*-algebra B whose primitive ideal space is Hausdorff and totallydisconnected, then is Jordan isomorphism. The aim of this note is to show that if be asurjective spectrum preserving additive map, then is a Jordan isomorphism without the extraassumption totally disconnected.
متن کاملAbelian core of graph algebras
We introduce a certain natural abelian C*-subalgebra of a graph C*-algebra, which has functorial properties that can be used for characterizing injectivity of representations of the ambient C*-algebra. In particular, a short proof of the Cuntz-Krieger Uniqueness Theorem, for graphs that may have loops without entries, is given. Graph C*-algebras are interesting objects with a structure that can...
متن کاملMaximal ideal space of a commutative coefficient algebra
The basic notion of the article is a pair (A, U), whereA is a commutative C-algebra and U is a partial isometry such thatA ∋ a → UaU is an endomorphism of A and UU ∈ A. We give a description of the maximal ideal space of the smallest coefficient C-algebra E∗(A) of the algebra C(A, U) generated by the system (A, U).
متن کامل